#include <iostream>

template<typename T>
class C {
public:
	C(int){};
};

void candidate(C<double> const& c){ std::cout << "c" << std::endl; }
void candidate(int i) { std::cout << i << std::endl; }

void p143_main() {
	candidate(42);
	C<double> c;
}